Tranchée militaire (n.f.)